symmetric monoidal (∞,1)-category of spectra
The Eilenberg-Watts theorem identifies colimit-preserving functors between categories of modules with the operations of forming tensor products with bimodules.
Eilenberg-Watts Theorem
Given unital rings and and an --bimodule , the tensor product functor
between the categories of modules is additive and cocontinuous. Conversely, if is additive and cocontinuous, then it is naturally isomorphic to tensoring with a bimodule.
This theorem was more or less simultaneously proved in (Watts) and (Eilenberg).
Given an additive cocontinuous functor , the reconstructed --bimodule is given as follows:
the underlying right -module is , where is regarded as a right module over itself in the canonical way;
the left -module structure on is given for and by
where denotes the right -module homomorphism given by left multiplication by .
The theorem holds for nonunital rings as well, but then reconstructs as where is the extension of by adjoining the unit element (the tensor product is still over the original ). If is a flat functor then is a flat module over .
There are various equivalent ways to state the hypotheses of the theorem:
The theorem is stated in the last form, for instance, in (Hovey, Theorem 0.1).
In fact both bimodules and intertwiners as well as functors and natural transformations form a category. In more detail the theorem is:
For and two rings, the functor
from the category of bimodules to that of colimit-preserving additive functors between their categories of modules is an equivalence of categories.
Rings can be seen as one-object -enriched categories where is the category of abelian groups made symmetric monoidal with the usual tensor product of abelian groups. Similarly, bimodules between rings are the same as -enriched profunctors between one-object -enriched categories. The category of right modules of a ring is the category of -enriched presheaves on the corresponding one-object -enriched category. Thus, we can ask if the Eilenberg-Watts theorem generalizes to -enriched categories. And indeed it does!
Suppose that is a Benabou cosmos, i.e. a complete and cocomplete symmetric monoidal closed category. Then there is a symmetric monoidal bicategory where:
There is also a symmetric monoidal bicategory where:
Then the following is surely true, though a reference would be helpful:
Given a Benabou cosmos , the symmetric monoidal bicategories and are equivalent.
The standard Eilenberg-Watts theorem is a statement about monoids and their actions in Ab. More generally one may ask for generalizations of the theorem to other internalization contexts, and in particular to homotopy theory. See the introduction of (Hovey).
In particular Eilenberg-Watts theorems hold true in the homotopy theory following model categories (see at model structure on modules over an algebra over an operad)
model structure on spectra (symmetric, orthogonal, -modules).
This is the main theorem in (Hovey).
More generally, we have the first half of the Eilenberg-Watts theorem in (∞,1)-category theory:
For a monoidal (∞,1)-category with geometric realization of simplicial objects in an (∞,1)-category such that the tensor product preserves this in each variable, then for all A-∞ algebra in , the tensor product of ∞-bimodules
preserves (∞,1)-colimits separately in each argument.
This is (Lurie, cor. 4.3.5.15).
The original articles are
A generalized statement in which the codomain is not assumed to be a category of modules is discussed in
Generalization to homotopy theory/higher algebra is discussed in
and
Last revised on June 5, 2023 at 18:03:58. See the history of this page for a list of all contributions to it.